Analyse de systèmes min-max

Analyse algorithmique de systèmes hybrides polygonaux

Analyse statique de programmes et systèmes numériques

Alors que la complexité des traitements informatiques dans les systèmes embarqués croit chaque jour, la sûreté du fonctionnement de ces systèmes devient un enjeu crucial, tout particulièrement pour les systèmes critiques. Plus largement, synthétiser et garantir des propriétés sur le comportement d’un programme, est un objectif naturel et de large utilité. Cette habilitation (Putot, 2012) porte ...

Analyse des critères d'évaluation des systèmes de recherche d'information

Evaluating information retrieval implies a document collection on which search is carried out, a set of test queries and the lists of the relevant documents for each query. This evaluation framework also includes evaluation measures making it possible to control the impact of search parameters on the performance. Trec-eval calculates a large number of measures, some being used more widely, like...

Analyse des critères d'évaluation de systèmes multi-agents adaptatifs

In the last few years, the growing complexity of current applications has led to design self-organizing multi-agents systems presenting selfproperties. Those systems behave autonomously and must handle the dynamics coming from exogenous or endogenous changes. New or updated characterization and evaluation criteria are required for analyzing the contribution of selfproperties and system performa...

Analyse statique par interprétation abstraite de systèmes hybrides

ion de la partie continue Dans ce chapitre, nous présentons une abstraction de la partie continue des systèmes hybrides décrits au chapitre 5. Notre but est d’utiliser les algorithmes d’intégration garantie présentés au chapitre 3 comme une abstraction, au sens de l’interprétation abstraite, de la sémantique de la partie continue. Nous commençons donc par définir intuitivement les conditions qu...